;; the directory containing project related cache data
(defvar projects-cache)
(setq projects-cache "/home/coreyoliver/.emacs.d/project-cache/")

(project-def "lustre-front-end"
	     '((basedir "/home/coreyoliver/kind2/LustreFrontEnd/")
	       (src-patterns ("*.ml" "*.mli" "*.mly" "*.mll" "*.sh"))
	       (ignore-patterns ("*.cmi" "*.cmx" "*.o" "*.d" "*.lus" "*.txt" "*.di" "OcamlMakefile"))
	       (tags-file "/home/coreyoliver/.emacs.d/project-cache/lustre-front-end/TAGS")
	       (file-list-cache "/home/coreyoliver/.emacs.d/project-cache/lustre-front-end/files")
	       (open-files-cache "/home/coreyoliver/.emacs.d/project-cache/lustre-front-end/open-files")
	       (vcs svn)
	       (compile-cmd "make -f Makefile-LustreFrontend")
	       (startup-hook nil)
	       (shutdown-hood nil)))